H ? « ‹ ← → › »

Language peer sets for HO UNIF:
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

HO UNIF(ID:4030/hou001)

alternate simple view
Designed 1993

Higher Order E-Unification

This directory contains an experimental implementation of of higher
order E-Unification developed at the FZI, Karlsruhe.  It implements
the modular higher order E-Unification of Nipkow, Qian and Wang with
optimizations described in Franz Weber's PhD thesis.
References:
  • Mueller, Olaf (1993) Mueller, Olaf "Optimierung der moduaren E-Unifikation hoeherer Stufe Diplomarbeit"
  • Weber, Franz (1993) Weber, Franz "Softwareentwicklung mit Logik hoeherer Stufe Dissertation"
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder